George WEAVER COMPACTNESS IN EQUATIONAL LOGIC
نویسندگان
چکیده
tary equational logics are generalized and formulated as properties of infinitary equational logics and it is shown that these properties are coextensive. The central construction of the paper is derived from a model theoretic proof of the consequence version of the compactness theorem: if an equation is a consequence of a set of equations S, then it is a consequence of some finite subset of S. Modifying Birkhoff’s 1935 construction, the terms t and t are related provided the equation t = t is a consequence of some finite subset of S. This relation is a congruence on the algebra of terms and the quotient algebra induced by this congruence is a model of exactly those equations which are a consequence of some finite subset of S. This construction is extended to infinitary equational logics to show that if κ is a regular cardinal strictly greater than the degree of each functional constant in the non-logical vocabulary of the language and no greater than the cardinality of the language, then any equation that is a consequence of S is a consequence of a subset of S of cardinality strictly less than κ. Received 6 August 2001
منابع مشابه
On the compactness property of extensions of first-order G"{o}del logic
We study three kinds of compactness in some variants of G"{o}del logic: compactness,entailment compactness, and approximate entailment compactness.For countable first-order underlying language we use the Henkinconstruction to prove the compactness property of extensions offirst-order g logic enriched by nullary connective or the Baaz'sprojection connective. In the case of uncountable first-orde...
متن کاملA Soft Stairway to Institutions
Abs t rac t . The notion of institution is dissected into somewhat weaker notions. We introduce a novel notion of institution morphism, and characterize preservation of institution properties by corresponding properties of such morphisms. Target of this work is the stepwise construction of a general framework for translating logics, and algebraic specifications using logical systems. Earlier tr...
متن کاملInherently nonfinitely based lattices
We give a general method for constructing lattices L whose equational theories are inherently nonfinitely based. This means that the equational class (that is, the variety) generated by L is locally finite and that L belongs to no locally finite finitely axiomatizable equational class. We also provide an example of a lattice which fails to be inherently nonfinitely based but whose equational th...
متن کاملSEQUENTIALLY COMPACT S-ACTS
The investigation of equational compactness was initiated by Banaschewski and Nelson. They proved that pure injectivity is equivalent to equational compactness. Here we define the so called sequentially compact acts over semigroups and study some of their categorical and homological properties. Some Baer conditions for injectivity of S-acts are also presented.
متن کاملCategorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic
This paper deals with the algebraization of multi-signature equational logic in the context of the modern theory of categorical abstract algebraic logic. Two are the novelties compared to traditional treatments: First, interpretations between different algebraic types are handled in the object language rather than the metalanguage. Second, rather than constructing the type of the algebraizing c...
متن کامل